$\forall$$n$:$\mathbb{N}$. fib($n$) $\in$ $\mathbb{N}$